Report on a Practical Application of ASMs in Software Design
نویسندگان
چکیده
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables for railway systems. For simulation the whole closed-loop traffic control system is modelled within FALKO. The railway process model part of FALKO was formally specified using the ASM approach. C++ code is generated from the formal specification and compiled together with the handwritten C++ code of the other components to obtain the FALKO executable. The project started in May 1998 and was finished in March 1999. Since then FALKO is used by the Vienna Subway Operator for the validation of the whole subway operational service.
منابع مشابه
Distributed Abstract State Machines Status Report of a Doctoral Thesis
In 1985, Gurevich introduced Abstract State Machines (ASMs) as a computational model more powerful and universal than classical computational models. Since then ASMs have been applied successfully both in theory and practice: On the theoretical side, ASMs evolved to a general basis for the study of different classes of algorithms and their expressive power. On the practical side, ASMs have been...
متن کاملTemporal Deductive Verification of Basic ASM Models
Abstract State Machines (ASMs, for short) provide a practical new computational model which has been applied in the area of software engineering for systems design and analysis. However, reasoning about ASM models occurs, not within a formal deductive system, but basically in the classical informal proofs style of mathematics. Several formal verification approaches for proving correctness of AS...
متن کاملThe ASM Method: a Cornerstone in Computer Science Education
The versatility and wide applicability of the Abstract State Machines Method for the design and the analysis of computational systems has not yet been fully exploited for teaching. We suggest to use it for introducing basic algorithmic concepts in a succinct and uniform way, which makes the definitions adoptable in traditionally unrelated courses, covering the full range of computing science cu...
متن کاملUsing Abstract State Machines at Microsoft: A Case Study
Our goal is to provide a rigorous method, clear notation and convenient tool support for high-level system design and analysis. For this purpose we use abstract state machines (ASMs). Here we describe a particular case study: modeling a debugger of a stack based runtime environment. The study provides evidence for ASMs being a suitable tool for building executable models of software systems on ...
متن کاملTeaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education
Proponents of Abstract State Machines (ASMs) [2] often cite their “easy learning” [12] and low degree of “formal overhead” [13] as points in favor of their use by systems developers. Recent achievements in automated tool support [3, 50] lend further credibility to ASMs as a programmer-friendly methodology. Yet there has been little written on the empirical arguments in favor of ASMs. Do people ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000